Minimal Synthesis of String To String Functions From Examples

We study the problem of synthesizing string to string transformations from a set of input/output examples. The transformations we consider are expressed using deterministic finite automata (DFA) that read pairs of letters, one letter from the input and one from the output. The DFA corresponding to these transformations have additional constraints, ensuring that each input string is mapped to exactly one output string. We suggest that, given a set of input/output examples, the smallest DFA consistent with the examples is a good candidate for the transformation the user was expecting. We therefore study the problem of, given a set of examples, finding a minimal DFA consistent with the examples and satisfying the functionality and totality constraints mentioned above. We prove that, in general, this problem (the corresponding decision problem) is NP-complete. This is unlike the standard DFA minimization problem which can be solved in polynomial time. We provide several NP-hardness proofs that show the hardness of multiple (independent) variants of the problem. Finally, we propose an algorithm for finding the minimal DFA consistent with input/output examples, that uses a reduction to SMT solvers. We implemented the algorithm, and used it to evaluate the likelihood that the minimal DFA indeed corresponds to the DFA expected by the user.Comment: SYNT 201

Task-Selective Memory Effects for Successfully Implemented Encoding Strategies

Previous behavioral evidence suggests that instructed strategy use benefits associative memory formation in paired associate tasks. Two such effective encoding strategies–visual imagery and sentence generation–facilitate memory through the production of different types of mediators (e.g., mental images and sentences). Neuroimaging evidence suggests that regions of the brain support memory reflecting the mental operations engaged at the time of study. That work, however, has not taken into account self-reported encoding task success (i.e., whether participants successfully generated a mediator). It is unknown, therefore, whether task-selective memory effects specific to each strategy might be found when encoding strategies are successfully implemented. In this experiment, participants studied pairs of abstract nouns under either visual imagery or sentence generation encoding instructions. At the time of study, participants reported their success at generating a mediator. Outside of the scanner, participants further reported the quality of the generated mediator (e.g., images, sentences) for each word pair. We observed task-selective memory effects for visual imagery in the left middle occipital gyrus, the left precuneus, and the lingual gyrus. No such task-selective effects were observed for sentence generation. Intriguingly, activity at the time of study in the left precuneus was modulated by the self-reported quality (vividness) of the generated mental images with greater activity for trials given higher ratings of quality. These data suggest that regions of the brain support memory in accord with the encoding operations engaged at the time of study

Comparison between the disease-specific Airways Questionnaire 20 and the generic 15D instruments in COPD

<p>Abstract</p> <p>Background</p> <p>Given that the assessment of health-related quality of life (HRQoL) is an essential outcome measure to optimize chronic obstructive pulmonary disease (COPD) patient management, there is a need for a short and fast, reliable and valid instrument for routine use in clinical practice. The objective of this study was to analyse the relationship between the disease-specific Airways questionnaire (AQ20) and the generic 15D health-related quality of life (HRQoL) instrument simultaneously in a large cohort of patients with COPD. We also compare the HRQoL of COPD patients with that of the general population.</p> <p>Methods</p> <p>The AQ20 and 15D were administered to 739 COPD patients representing an unselected hospital-based COPD population. The completion rates and validity of, and correlations among the questions and dimension scores were examined. A factor analysis with varimax rotation was performed in order to find subsets of highly correlating items of the questionnaires.</p> <p>Results</p> <p>The summary scores of AQ20 and 15D were highly correlated (r = - 0.71, p < 0.01). In AQ20 over 50% of patients reported frequent cough, breathlessness during domestic work, and chest problem limiting their full enjoyment of life. 15D results showed a noteworthy decrease of HRQoL in breathing, mobility, sleeping, usual activities, discomfort and symptoms, vitality, and sexual activity (scores ≤ 0.75). Compared to the age- and gender-standardized Finnish general population, the COPD patients were statistically significantly worse off on 13 of 15 dimensions.</p> <p>Conclusions</p> <p>The AQ20 and 15D summary scores are comparable in terms of measuring HRQoL in COPD patients. The data support the validity of 15D to measure the quality of life in COPD. COPD compromises the HRQoL broadly, as reflected by the generic instrument. Both questionnaires are simple and short, and could easily be used in clinical practice with high completion rates.</p

Binary and Millisecond Pulsars at the New Millennium

We review the properties and applications of binary and millisecond pulsars. Our knowledge of these exciting objects has greatly increased in recent years, mainly due to successful surveys which have brought the known pulsar population to over 1300. There are now 56 binary and millisecond pulsars in the Galactic disk and a further 47 in globular clusters. This review is concerned primarily with the results and spin-offs from these surveys which are of particular interest to the relativity community.Comment: 59 pages, 26 figures, 5 tables. Accepted for publication in Living Reviews in Relativity (http://www.livingreviews.org

The impact of incident vertebral and non-vertebral fractures on health related quality of life in postmenopausal women

BACKGROUND: Little empirical research has examined the multiple consequences of osteoporosis on quality of life. METHODS: Health related quality of life (HRQL) was examined in relationship to incident fractures in 2009 postmenopausal women 50 years and older who were seen in consultation at our tertiary care, university teaching hospital-affiliated office and who were registered in the Canadian Database of Osteoporosis and Osteopenia (CANDOO) patients. Patients were divided into three study groups according to incident fracture status: vertebral fractures, non-vertebral fractures and no fractures. Baseline assessments of anthropometric data, medical history, therapeutic drug use, and prevalent fracture status were obtained from all participants. The disease-targeted mini-Osteoporosis Quality of Life Questionnaire (mini-OQLQ) was used to measure HRQL. RESULTS: Multiple regression analyses revealed that subjects who had experienced an incident vertebral fracture had lower HRQL difference scores as compared with non-fractured participants in total score (-0.86; 95% confidence intervals (CI): -1.30, -0.43) and the symptoms (-0.76; 95% CI: -1.23, -0.30), physical functioning (-1.12; 95% CI: -1.57, -0.67), emotional functioning (-1.06; 95% CI: -1.44, -0.68), activities of daily living (-1.47; 95% CI: -1.97, -0.96), and leisure (-0.92; 95% CI: -1.37, -0.47) domains of the mini-OQLQ. Patients who experienced an incident non-vertebral fracture had lower HRQL difference scores as compared with non-fractured participants in total score (-0.47; 95% CI: -0.70, -0.25), and the symptoms (-0.25; 95% CI: -0.49, -0.01), physical functioning (-0.39; 95% CI: -0.65, -0.14), emotional functioning (-0.97; 95% CI: -1.20, -0.75) and the activities of daily living (-0.47; 95% CI: -0.73, -0.21) domains. CONCLUSION: Quality of life decreased in patients who sustained incident vertebral and non-vertebral fractures

Health, Health-Related Quality of Life, and Quality of Life: What is the Difference?

The terms health, health-related quality of life (HRQoL), and quality of life (QoL) are used interchangeably. Given that these are three key terms in the literature, their appropriate and clear use is important. This paper reviews the history and definitions of the terms and considers how they have been used. It is argued that the definitions of HRQoL in the literature are problematic because some definitions fail to distinguish between HRQoL and health or between HRQoL and QoL. Many so-called HRQoL questionnaires actually measure self-perceived health status and the use of the phrase QoL is unjustified. It is concluded that the concept of HRQoL as used now is confusing. A potential solution is to define HRQoL as the way health is empirically estimated to affect QoL or use the term to only signify the utility associated with a health state

Measurement of the Bottom-Strange Meson Mixing Phase in the Full CDF Data Set

We report a measurement of the bottom-strange meson mixing phase \beta_s using the time evolution of B0_s -> J/\psi (->\mu+\mu-) \phi (-> K+ K-) decays in which the quark-flavor content of the bottom-strange meson is identified at production. This measurement uses the full data set of proton-antiproton collisions at sqrt(s)= 1.96 TeV collected by the Collider Detector experiment at the Fermilab Tevatron, corresponding to 9.6 fb-1 of integrated luminosity. We report confidence regions in the two-dimensional space of \beta_s and the B0_s decay-width difference \Delta\Gamma_s, and measure \beta_s in [-\pi/2, -1.51] U [-0.06, 0.30] U [1.26, \pi/2] at the 68% confidence level, in agreement with the standard model expectation. Assuming the standard model value of \beta_s, we also determine \Delta\Gamma_s = 0.068 +- 0.026 (stat) +- 0.009 (syst) ps-1 and the mean B0_s lifetime, \tau_s = 1.528 +- 0.019 (stat) +- 0.009 (syst) ps, which are consistent and competitive with determinations by other experiments.Comment: 8 pages, 2 figures, Phys. Rev. Lett 109, 171802 (2012

Improving the quality and efficiency of follow-up after curative treatment for breast cancer – rationale and study design of the MaCare trial

BACKGROUND: After curative treatment for breast cancer women frequently attend scheduled follow-up examinations. Usually the follow-up is most frequent in the first 2–3 years (2–4 times a year); thereafter the frequency is reduced to once a year in most countries. Its main aim is to detect local disease recurrence, or a second primary breast cancer, but also to provide information and psychosocial support. However, the cost-effectiveness of these frequent visits is under much debate, leading to a search for less intensive and more cost-effective follow-up strategies. In this paper the design of the MaCare trial is described. This trial compares the cost-effectiveness of four follow-up strategies for curatively treated breast cancer patients. We investigate the costs and effects of nurse-led telephone follow-up and a short educational group programme. METHODS/DESIGN: The MaCare trial is a multi centre randomised clinical trial in which 320 breast cancer patients are randomised into four follow-up strategies, focussed on the first 18 months after treatment: 1) standard follow-up; 2) nurse-led telephone follow-up; 3) arm 1 with the educational group programme; 4) arm 2 with the educational group programme. Data is collected at baseline and 3, 6, 12 and 18 months after treatment. The primary endpoint of the trial is cancer-specific quality of life as measured by the global health/QoL scale of the EORTC QLQ-C30. Secondary outcomes are perceived feelings of control, anxiety, patients' satisfaction with follow-up and costs. A cost-effectiveness analysis will be performed from a societal perspective. DISCUSSION: Reduced follow-up strategies for breast cancer have not yet been widely applied in clinical practice. Improvement of psychosocial support and information to patients could lead to a better acceptance of reduced follow-up. The MaCare trial combines a reduced follow-up strategy with additional psychosocial support. Less frequent follow-up can reduce the burden on medical specialists and costs. The educational group programme can improve QoL of patients, but also less frequent follow-up can improve QoL by reducing the anxiety experienced for each follow-up visit. Results of the trial will provide knowledge on both costs and psychosocial aspects regarding follow-up and are expected in 2009

Effects of two common polymorphisms in the 3' untranslated regions of estrogen receptor β on mRNA stability and translatability

Estrogen signaling is mediated by estrogen receptors (ERs), ERα and ERβ. Aberrant estrogen signaling is involved in breast cancer development. ERα is one of the key biomarkers for diagnosis and treatment of breast cancer. Unlike ERα, ERβ is still not introduced as a marker for diagnosis and established as a target of therapy. Numerous studies suggest antiproliferative effects of ERβ, however its role remains to be fully explored. Albeit important, ERα is not a perfect marker, and some aspects of ERα function are still unclear. This thesis aims to characterize distinct molecular facets of ER action relevant for breast cancer and provide valuable information for ER-based diagnosis and treatment design. In PAPER I, we analyzed the functionality of two common single nucleotide polymorphisms in the 3’ untranslated regions of ERβ, rs4986938 and rs928554, which have been extensively investigated for association with various diseases. A significant difference in allelic expression was observed for rs4986938 in breast tumor samples from heterozygous individuals. However, no difference in mRNA stability or translatability between the alleles was observed. In PAPER II, we provided a more comprehensive understanding of ERβ function independent of ERα. A global gene expression analysis in a HEK293/ERβ cell model identified a set of ERβ-regulated genes. Gene Ontology (GO) analysis showed that they are involved in cell-cell signaling, morphogenesis and cell proliferation. Moreover, ERβ expression resulted in a significant decrease in cell proliferation. In PAPER III, using the human breast cancer MCF-7/ERβ cell model, we demonstrated, for the first time, the binding of ERα/β heterodimers to various DNA-binding regions in intact chromatin. In PAPER IV, we investigated a potential cross-talk between estrogen signaling and DNA methylation by identifying their common target genes in MCF-7 cells. Gene expression profiling identified around 150 genes regulated by both 17β- estradiol (E2) and a hypomethylating agent 5-aza-2’-deoxycytidine. Based on GO analysis, CpG island prediction analysis and previously reported ER binding regions, we selected six genes for further analysis. We identified BTG3 and FHL2 as direct target genes of both pathways. However, our data did not support a direct molecular interplay of mediators of estrogen and epigenetic signaling at promoters of regulated genes. In PAPER V, we further explored the interactions between estrogen signaling and DNA methylation, with focus on DNA methyltransferases (DNMT1, DNMT3a and DNMT3b). E2, via ERα, up-regulated DNMT1 and down-regulated DNMT3a and DNMT3b mRNA expression. Furthermore, DNMT3b interacted with ERα. siRNA-mediated DNMT3b depletion increased the expression of two genes, CDKN1A and FHL2. We proposed that the molecular mechanism underlying regulation of FHL2 and CDKN1A gene expression involves interplay of DNMT3b and ERα. In conclusion, the studies presented in this thesis contribute to the knowledge of ERβ function, and give additional insight into the cross-talk mechanisms underlying ERα signaling with ERβ and with DNA methylation pathways

Lactate Produced by Glycogenolysis in Astrocytes Regulates Memory Processing

When administered either systemically or centrally, glucose is a potent enhancer of memory processes. Measures of glucose levels in extracellular fluid in the rat hippocampus during memory tests reveal that these levels are dynamic, decreasing in response to memory tasks and loads; exogenous glucose blocks these decreases and enhances memory. The present experiments test the hypothesis that glucose enhancement of memory is mediated by glycogen storage and then metabolism to lactate in astrocytes, which provide lactate to neurons as an energy substrate. Sensitive bioprobes were used to measure brain glucose and lactate levels in 1-sec samples. Extracellular glucose decreased and lactate increased while rats performed a spatial working memory task. Intrahippocampal infusions of lactate enhanced memory in this task. In addition, pharmacological inhibition of astrocytic glycogenolysis impaired memory and this impairment was reversed by administration of lactate or glucose, both of which can provide lactate to neurons in the absence of glycogenolysis. Pharmacological block of the monocarboxylate transporter responsible for lactate uptake into neurons also impaired memory and this impairment was not reversed by either glucose or lactate. These findings support the view that astrocytes regulate memory formation by controlling the provision of lactate to support neuronal functions